[计]逻辑语义学;
在一种修正的可能世界语义学下,削弱了“逻辑全能问题”,幷且保留了那些合理的认知性质.
来源:互联网摘选At first, he developed a modal logic semantics, and has achieved notable successes.
起初,他发展了模态逻辑语义学,并取得了引人注目的成就。
来源:互联网摘选指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。
来源:互联网摘选
简答网 · 高考英语

简答网 · 中考英语

简答网 · 高考英语

简答网 · 双语娱乐资讯

简答网 · 高考英语

简答网 · 高考英语